Сторона языка программирования, которая описывает структуру программ как наборов символов.